Processes for plan - executionLouise

نویسندگان

  • Louise Pryor
  • David Pym
  • David Murphy
چکیده

This paper proposes a representation for plans and actions based on the algebraic theory of processes . It is argued that the requirements of plan-execution are better met by representing actions through the processes by which changes occur than by the more widely used state-change representation. A simple algebra of plans, based on process-combinators, is described and shown to be adequate for a wide variety of the plans found in the literature. The implications of this type of plan-representation are discussed and its advantages for meta-reasoning (including plan-comparison and plan-construction) outlined.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Designing different Sampling Plans Based on Process Capability Index

Acceptance sampling plan is a method to make decision on either accepting or rejecting a specific lot or more generally to inspect the quality of products that can be used by different methods. Along with this, one suitable measure to improve manufacturing processes is to analyze process capability indices. These indices have many applications in production environments. In this paper, a repeti...

متن کامل

Applying Interpretive- Structural Modelling to Review Priorities of Health Reform Plan: Evidence-based policy making

  Introduction: Considering the fact that the health reform plan has been implemented for five years, it is necessary to re-evaluate the plan and adapt it to the needs and macro policies of our society. Therefore, the current study aimed to use health-related scientific evidences together with the experiences, opinion, and expertise of field professionals to achieve priorities for health refor...

متن کامل

Effect of the Health Transformation Plan (HTP) on Implementation Processes, Rules and Regulations of Basic Health Insurance Organizations in Iran

Effect of the Health Transformation Plan (HTP) on Implementation Processes, Rules and Regulations of Basic Health Insurance Organizations in Iran Efat Mohamadi 1, Alireza Oliaeemanesh 1, 2 *, Reza Majd Zade 3, 4, 5, Mohamad Javad Kabir 6, Mojtaba Atri 7, Kamran Asghari 8, Mohammad Reza Mobini Zadeh9, Mosa Tabatabaei 10, Mani Yusefvand 11, Zahra Goudarzi 12 1 Health Equity Research Center, Te...

متن کامل

Regulatory and Biosafety Challenges for Vaccines

The global regulatory plan for vaccines provides a unique opportunity to develop safe and effective ones with assured quality. Methods used by regulators address challenges of new products and technologies and also increase understanding of benefits and risks of existing products. First, the laboratory-based regulatory sciences evolve correlates of immunity and safety; or improve the product ch...

متن کامل

A note on processes for plan - execution andpowerdomains for plan - comparison

This paper proposes a representation for plans and actions based on the algebraic theory of processes. It is argued that the requirements of plan-execution are better met by representing actions through the processes by which changes occur than by the more widely used state-change representation. A simple algebra of plans, based on process-combinators, is described and shown to be adequate for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995